Exercise relationalgebra.cnf
Description
To conjunctive normal form
Code | relationalgebra.cnf |
Status | Alpha |
Strategy | tocnf |
Rules | 20 |
Buggy rules | 12 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | yes |
Examples | 0 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult